A expressão de busca foi <related:sid.inpe.br/mtc-m21b/2017/11.08.14.47.59-0:en:title:2:statecharts based specification checking:statecharts model checking hierarchy based translation specification patterns properties generate test cases:>.
A expressão de busca tem um erro de sintaxe.

Ajuda Avançada dá todos os detalhes de como formar uma expressão de busca.